En la conversión canónica encontramos que hay optimizaciones previas que tienen un resultado positivo seguro.