Bevis for vektorfunktions beskrivelse af cirklensligning