理科生坠入情网，故尝试证明。