theorem Th7: :: NUMBER03:7

(6 |^ 10) + 1 = (6046 * 10000) + 6177