5: Bevis afstandsformlen