調和関数も知らない高校教師には754は難問だろうな