Beweisen Sie: Zu jeder Strecke AB‾ existiert genau eine Strecke AB*‾ mit |AB*|=π|AB| und AB‾⊂AB*‾.
Vor: AB‾