En prueba de lo dicho, ahí va un axioma: