There are some slight problems with your proof, firstly your proof doesn't really use the fact that you're raising a number to the 5th power, except for the las

There are some slight problems with your proof, firstly your proof doesn't really use the fact that you're raising a number to the 5th power, except for the last part and secondly the last part (as it is currently written) will print "false" for all numbers other than 1. Also I don't think you need to bother with the sign of the number. Python is one of the few languages that took the sensible approach and made statements like (a % 10 = (a + 10) % 10) true for all a.