7.9 理系が恋に落ちたので証明してみた。