theorem Th10: :: NUMBER03:10

(9 |^ 10) + 1 = (((3486 * 100) + 78) * 10000) + 4402