Added proof for correctness of sturm_squarefree' and proved equivalence to sturm