theorem Th6: :: NUMBER03:6

(5 |^ 10) + 1 = (9765 * 1000) + 626