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

░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░ ░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░ ░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░ ░░░░░░░░░░░░░░░░▒▒▒▒▓▓▓▓▓▓▓▒▒▒▒▓▓▓▓▓▓▒▒▒▒▒▒▒▒▒▒▒▒▒▓▓▒▒▒░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░ ░░░░░░░░░░░▒▒▒▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▒▓▓▓▓▓▓▓▓▓▒▒▒▒▒▒▒▒▒▒▒▓▓▒▒░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░ ░░░░░░░░▒▒▓▓▓▓▓▓▓▓▓▓▓▓▓▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▓▓▓▓▒▒▒▒▒▒▒▒▒▒▒▓▒░░░░░░░░░░░░░░░░░░░░░░░░░░░░░ ░░░░░▒▓▓▓▓▓▓▓▓▓▓▓▓▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▓▓▓▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒░░░░░░░░░░░░░░░░░░░░░░░░░░ ▒▒▓▓▓▓▓▓▓▓▓▓▓▒▒▒▓▓▒▒▒▒▒▒▓▓▓▒▒▒▒▒▒▒▒▒▒▓▓▓▓▓▒▒▒▒▒▒▓▓▒▒▒▒▒▒▒▒▒▒▒▒▒▒▓▒░░░░░░░░░░░░░░░░░░░░░░░░ ▓▓▓▓▓▓▓▓▓▒▓▒▒▒▓▓▒▒▒▒▒▓▓▓▒▒▒▒▒▒▒▒▒▒▓▓▓▓▒▒▒▒▒▒▒▓▓▓▓▓▒▒▒▓▓▓▓▓▓▓▓▓▒▒▒▒▓▒░░░░░░░░░░░░░░░░░░░░░░ ▓▓▓▓▓▓▓▓▓▒▒▒▓▓▒▒▒▒▒▒▓▓▒▒▒▒▒▒▒▒▓▓▓▓▓▒▒▒▒▒▒▒▓▓▒▒▒▓▓▓▓▓▓▓▒▒▒▒▒▒▒▒▓▓▒▒▒▒▓▒░░░░░░░░░░░░░░░░░░░░ ▓▓▒▓▓▓▓▒▒▒▓▓▒▒▒▒▒▒▓▓▓▒▒▒▒▒▓▓▓▒▒▓▓▒▒▒▒▒▒▒▓▓▒▒░░░░░▒▒▒▓▓▓▓▒▒▒▒▒▒▒▒▓▓▓▒▒▓▒░░░░░░░░░░░░░░░░░░░ ▒▓▓▓▓▒▒▒▓▓▒▒▒▒▒▒▒▒▓▓▒▒▒▒▓▓▒▒░▒▓▒▒▒▒▓▒▒▒▓▒▒░░░░░░░░░░░░▒▓▒▒▒▒▒▒▒▒▒▒▓▓▒▒▒▓▒░░░░░░░░░░░░░░░░░ ▓▓▓▒▒▒▒▓▓▒▒▒▒▒▒▒▓▓▓▒▒▓▓▓▒▒▒▒░▓▒▒▓▒▓▒▒▒▓▒░░░░░░░░░░░░░░▒▓▒▒▒▒▓▒▒▒▒▒▒▒▓▒▒▒▓▒░░░░░░░░░░░░░░░░ ▓▓▒▒▒▒▓▓▒▒▓▒▒▓▓██▓▓▒▓▓▓▓██▓▒▒▓▒▓░▒▓▒▓▒░░░░░░░░░░░░░░░░▓▓▒▒▒▒▓▒▒▒▒▒▒▒▒▓▓▒▒▓▒░░░░░░░░░░░░░░░ ▓▒▒▒▒▓▓▒▒▓▓▓▓▓▒░░░▒▓▓▒▒▒░░▒▓█▓▒▒▒▓▒▒▒░░░░░░░░░░░░░░░░░▓▒▒▒▒▒▓▒▒▒▒▒▒▒▒▒▓▓▒▒▒▓░░░░░░░░░░░░░░ ▒▒▒▒▓▓▒▒▒▒▓▓▒░░░▒▒░░░░▓███▒░▒▓▓░░▒▓▒░░░░░░░░░░░░░░░░░▓▒▒▒▒▒▒▓▒▒▒▒▒▒▒▒▒▒▓▒▒▒▒▒░░░░░░░░░░░░░ ▒▒▒▒█▒▒▒▒▒▓▒░░▒█▓▒░░░░░▓▓██▓░░▓▒░░▒▒░░░░░░░░░░░░░░░░▓▒▒▒▓▒▒▒▓▓▒▒▒▒▒▓▒▒▒▒▓▒▒▒▓▒░░░░░░░░░░░░ ▒▒▓▓▓▒▒▒▒▓▒░░░█▓▒▒▒▓▓▓▓▒▓▓█▓░░░▒░░░░░░░░░░░░░░░░░░░▓▒▒▒░▓▒▒▓░▓▒▒▒▒▒▓▒▒▒▒▓▓▒▒▒▓░░░░░░░░░░░░ ▒▓▓▒▓▒▒▒▒▓▒▒▒▒▓█▒▒░▒▒▒▒▒▒▓█▒░░░░░░░░░░░░░░░░░░░░░▒▓▓▒▒░▒▓▒▓▒▒▓▒▒▒▒▒▓▒▒▒▒▒▓▓▒▒▒▓░░░░░░░░░░░ █▓▒▒▓▒▒▒▓▒▒▒▒▒▒▒▒▒▒▒▒▒▒▓█▓░░░░░░░░░░░░░░░░░░░░░░▒▓▒░░░░▓▒▓░░░▒▓▒▒▒▒▓▓▒▒▒▒▒▓▒▒▒▓▒░░░░░░░░░░ ▓▓▒▒▒▓▓▒▓▒▒▒▒▒▒▒▒▒░░░░▒░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░▒▒▒░░░░▒▓▒▒▒▓▓▓▒▒▒▓▒▓▓▒▒▒▓░░░░░░░░░░ ▓▓▒▒▒▒▒▓▓▒▒▒▒▒▒▒▒▒▒░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░▒▒▒▒░░░░░░▒▒▒▒▓▓▓▓▒▒▒▓▒▒▓▒▒▒▓░░░░░░░░░░ ▒▓▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒░░░░░░░░░░░░░░░░░░░░░░░░░░░░░▒░░░▒▒▒▒░░░░▓▒▒▓▓▓▓▓▒▒▒▓▒▒▓▓▒▒▓░░░░░░░░░░ ░▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒░░░░░░░░░░░░░░░░░░░░░░░░░░░░▒▒▒▓▓▓▓▓▓▒▒▒░▒▒▒▓▓▓▒▓▓▓▒▓▒▒▒▒▓▒▓▓░░░░░░░░░░ ░░░░░░▒▒▒▒▒▒▒▒▒▒▒▒░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░▒▓█▓▒▓▒▓▒▒▓▒▓▒▒▒▓▒▒▒▒▓▓▓▓░░░░░░░░░░ ░░░░░░░░░░▒▒▒▒▒░░░░░░░░░░░░░░░░▒░░░░░░░░░░░░░░░░▓▓░░░░▒▒░▒▓█▓░▒▒▓▒▒▓▒▒▒▓▒▒▒▒▒▓▓▓░░░░░░░░░░ ░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░▒░░░░░░░░░░░░░░▒█▓▓░░░░░██░░▒█▓▒▒▓▒▒▒▒▒▓▒▒▒▒▒▒▓▓▓░░░░░░░░░░ ░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░█▓▒▒▒▓▓▒▒▓█▓░░▒█▒▓▓▒▒▒▒▒▓▒▒▒▒▒▒▓▓▒░░░░░░░░░░ ░░░░░░░░░░░░░░░░▒▓▓▓▒░░░░░░░░░░░░░░░░░░░░░░░░░▓▓▒▒▒▓▓▓▓▓██░░░█▓▓▒▒▒▒▒▓▒▒▒▒▒▒▒▓█░░░░░░░░░░░ ░░░░░░░░░░░░░░▓▓▓▓▓▓▓▓▒░░░░░░▒░░░░░░░░░░░░░░░░░▒▒▒▒░▒▒▒▓█▓░░░██▒▒▒▒▒▓▒▒▒▒▒▓▒▒▓▓░░░░░░░░░░░ ░░░░░░░░░░░░▒▓▓▓▓▓▓▓▓▓▓▓▒░░░░░░▒░░░░░░░░░░▒▒▒▒▒▒▒▒▒▓▒▒▒█▓░░░░█▓▒▒▒▒▓▒▒▒▒▒▒▓▒▓▓▓░░░░░░░░░░░ ░░░░░░░░░░░▒▓▒▒▒▒▒▒▒▒▒▒▓▓▓▓▓▒░░░░▒░░░░░░░▒▒▒▒▒▒▒▒▒▒▒▓▓▒░░░░▒▓▓▓▓▒▓▓▒▒▒▒▒▒▓▒▒▓▓▓░░░░░░░░░░░ ░░░░░░░░░░░▓▒▒▒▒▒▒▒▒▒▒▒▒▒▒▓▓▓▓▓▓▒▒▒░░░░░░▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒░░▓▓▒▒▒▓▓▓▒▒▒▒▒▒▓▓▒▓▓▓▓░░░░░░░░░░░ ░░░░░░░░░░▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▓▓▓▓▓▓▒░░░░░░▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▓▒▒▒▒▒▒▓▒▒▒▒▒▒▓▓▒▓▓▓▓▒░░░░░░░░░░░ ░░░░░░░░░░▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▓▓▓▓▒░░░░░░░▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▓▓▒▒▒▒▒▓▓▓▒▓▓▓▓▓▒░░░░░░░░░░░ ░░░░░░░░░░░▓▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▓▓▓░░░░░░░░░░▒▒▒▒▒▒▒▒▒▒▒▒▒░░░░▒▓▓▓▒▒▒▒▓▓▒▓▓▓▓▓▓▓░░░░░░░░░░░░ ▒░░░░░░░░░░▒▓▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▓▓░░░░░░░░░░░░▒▒▒▒▒▒▒▒▒▒▒░░▒▒▓▓▓▓▒▒▒▓▓▒▒▓▓▓▓▓▓▓░░░░░░░░░░░░░ ▒▒▒░░░░░░░░░░▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒░░░░░░░░░░░░░░░░░▒▒▒▒░░░░░▒▒▒▓▓▒▒▓▓▓▒▓▓▓▓▓▓▓▓▒░░░░░░░░░░░░░