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