pomożecie anka: 8. Zapisać za pomocą funktorów i kwantyfikatorów następujące twierdzenia anka: Jeśli spośród trzech dowolnych prostych na płaszczyźnie dwie są równoległe, a trzecia jest prostopadła do jednej z nich, to jest też prostopadła do drugiej