Μεταφέροντας αν είναι ανάγκη την καμπύλη μπορούμε να υποθέσουμε ότι

Παραγωγίζοντας παίρνουμε

Αν

είναι το τρίεδρο Frenet θα έχουμε

(1)
οπου

πραγματικές συναρτήσεις,με

(2)
Ενα γνωστό επιχείρημα μας δίνει ότι παραγωγίζονται .
Παραγωγίζοντας την (1) χρησιμοποιώντας τις σχέσεις του Frenet και το γεγονός ότι
τα

είναι γραμμικώς ανεξάρτητα παίρνουμε ότι

Από τις δύο πρώτες αν κάνουμε αντικατάσταση στην (2) παίρνουμε

(3)
που είναι η ζητούμενη σχέση.
Αντίστροφα ,έστω ότι ισχύει η (3).
Θεωρούμε την καμπύλη

(4)
Παραγωγίζοντας και χρησιμοποιώντας τις σχέσεις του Frenet παίρνουμε ότι

Αλλά αν παραγωγίσουμε την (3) και χρησιμοποιήσουμε αυτά που δεν μηδενίζονται πα'ιρνουμε
ότι

Αρα
οπότε η (4) δίνει

που δείχνει ότι η καμπύλη είναι σφαιρική.