It is straightforward to prove that ∇ satisfies the Leibniz identity and is C∞(S2) linear in the first variable.
Είναι εύκολο να αποδείξει ότι ∇ ικανοποιεί την ταυτότητα Leibniz και είναι C ∞ (S2) γραμμική στην πρώτη μεταβλητή.