theorem Th5: :: NUMBER03:5

(4 |^ 10) + 1 = (1048 * 1000) + 577