Theorem: Teo's - Plane From Evolutions In Eva (Assortment);