Por tanto, la iteración de Grover puede escribirse: