correctitud del uno con forma canonica