thus (8 |^ 10) + 1 = (((((((((8 * 8) * 8) * 8) * 8) * 8) * 8) * 8) * 8) * 8) + 1 by NUMBER02:6
.= (((1073 * 100) + 74) * 10000) + 1825 ; :: thesis: verum