Terminada forma canónica y canónica derivada

Se terminó la implementación de forma canónica (con sus pruebas) y de
forma canónica derivada (falta agregar las pruebas).