Added Theorem check to proof