Resumiendo, la máquina "Diagonal" está diseñada para tener la siguiente propiedad: