Prove the blue base angle is double its opposite angle iff the red base angle is double its opposite angle.