Theorem / postulate question > two trianges?

enter image source here

thank you