理科生墜入情網，故嘗試證明。_9 番外47 論雙方直到30歲時還是單身的話便結婚在數學中的可行性