Los anteriores generadores junto con estas relaciones forman una presentación de B.