theorem Th4: :: NUMBER03:4

(3 |^ 10) + 1 = 5905 * 10