6. Theorem spelling fix