Bachelorarbeit_Ebene_Geometrie_Lean4