theorem Th8: :: NUMBER03:8

(7 |^ 10) + 1 = ((2824 * 10000) + 7525) * 10