理科生坠入情网，故尝试证明。--番外47 论双方直到30岁时还是单身的话便结婚在数学中的可行性