FactorialCode comments on Generalizing the Power-Seeking Theorems