X >> Theorem:

  • 12.2 Theorem