Följande sats ur geometrienförutsattes