prove-AB-EF (in 5 steps that show why it is corect; i.e two-column proof)
prove-<1 is supplementay to <6
(in 3 steps, with the two column proof)
TWO-COLUMN PROOF LOOKS LIKE THIS....
Transitive Axiom If a = b and b = c then a = c
So it seems to me to be two steps, not five.
You second makes no sense, it does not indicate any relationship with <1 and any other angle.
Purple because aliens dont wear hats