Математические доказательства: перпендикулярность плоскостей