nnn で割り切れない 202020 を分類する
n=2^u5^vm(gcd(m,10)=1)と書く。20nmid n より、v=0、または u=0、または u=1,vge1 のいずれかである。十分大きい偶数 kge2 を選ぶと、三場合でそれぞれ n は 2^k+1m、5^km、2cdot5^km を割り切る。 n=2u5vmn=2^u5^vmn=2u5vm gcd(m,10)=1\gcd(m,10)=1gcd(m,10)=1 20∤n20\nmid n20∤n v=0v=0v=0 u=0u=0u=0 u=1u=1u=1 v≥1v\ge1v≥1 k≥2k\ge2k≥2 nnn 2k+1m2^{k+1}m2k+1m 5km5^km5km 2⋅5km2\cdot5^km2⋅5km