"Linear pair are supplementary" theorem

Add a new theorem necessary for the presentation. Also remove some
unused imports in MainWindow and add an @Override annotation in
Operators.