Pairs of angles (linear, supplementary, complementary, adjacent, vertically opposite) (verification and simple proof of vertically opposite angles)