theorem :: ASYMPT_1:52

5 to_power 5 = 3125 by Lm36;