med strängt bevis i läran om parallela linier.