Which Statement Is A Theorem