Resumiendo, el programa "Diagonal" está diseñado para tener la siguiente propiedad (entiéndase la flecha como ""siempre y cuando""):