>>16
実交代行列で証明に飛躍があっても良いのなら、>>24を脊髄反射で書ければ1分を切りそうですねw
(24が合ってる保証はありませんが。)