高校時代に証明問題だけが100問詰まった課題を出してきた教員はだいぶイカれてたんだな（採点の辛さで）