corrected spelling of Theorem