$ZKP con esta divide infinito ha