theorem :: NUMBER01:10

(11 * 31) * 61 divides (20 |^ 15) - 1