Triangle Application Theorems + Two Proof-Oriented Triangle Theorems