Triangle Proofs with CPCTC

MILESTONE 3, STEPPING STONE 2