Demonstrează că numerele de forma 2^n+² × 5^n-1 se divid cu 3, dar nu se divid cu 9, pentru orice număr natural n.​