L'application est une application de dans .

Elle associe à tout triplet de un quadruplet de .