theorem Th9: :: NUMBER03:9

(8 |^ 10) + 1 = (((1073 * 100) + 74) * 10000) + 1825