Se satisface así el principio de correspondencia.