Este axioma es conocido como axioma T.