オイラーのφ関数とは？性質は？導入背景は？ https://for-spring.com/algebra/elemental_number_theory-16/