Логично! Когда я на мехмате училась там нужно было в каждом определении, в каждой теореме писать какой параметр к какому множеству принадлежит... типа там для любого n... и если пропустить, что эн из множества N... все... садись, два.  Хотя это и очевидно.У параллельных прямых нет накрест лежащих углов.