Programación Vab abc

Avión VAB⊥Plano ABC, Avión VAB∩Plano ABC=AB

AB⊥BC

∴BC⊥Fábrica de ensamblaje de aviones

∵VA∈Plano VAB

∴BC⊥VA

∵VA⊥VC

BC∈Plano VBC, VC∈Plano VBC

∴VA⊥Avión

∫VA∈Avión Vacío

∴Avión VAC⊥Avión