Existen de este modo varias versiones equivalentes: