Every factorial is a power - eviltoast