[Davidzheng]

True. I let it continue and even prompted it with hints but it cannot find the proof that non-prime powers fail. It can however prove prime powers work.