7. Theorem spelling fix