Lemma col_2_par_projp2_cong : forall A A' B B' L11 L12 L21 L22, Col L11 L12 A' -> Col L11 L12 B' -> Par L11 L12 L21 L22 -> Projp A' A L21 L22 -> Projp B' B L21 L22 -> Cong A B A' B'.