理科生坠入情网,故尝试证明。_9 54 ø(25P)