thus (5 |^ 10) + 1 = (((((((((5 * 5) * 5) * 5) * 5) * 5) * 5) * 5) * 5) * 5) + 1 by NUMBER02:6
.= (9765 * 1000) + 626 ; :: thesis: verum