池田嘉信/理系が恋に落ちたので証明してみた。