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