Con la propiedad C-3, se tiene