Аксіоми, теореми, означення, суміжні та вертикальні кути