theorem :: NUMBER01:9

13 divides (2 |^ 70) + (3 |^ 70)