Missed a theorem needed later on
Finished up Poly