Triangle/Euler line/Existence/Fact/Proof

< Triangle < Euler line < Existence < Fact
Proof

This follows directly from fact.