thus (3 |^ 10) + 1 = (((((((((3 * 3) * 3) * 3) * 3) * 3) * 3) * 3) * 3) * 3) + 1 by NUMBER02:6
.= 5905 * 10 ; :: thesis: verum