y como lo intuia, moves 3 se puede definir en terminos de moves 2 y
moves 1
e igualmente, moves 2 se puede definir en terminos de moves 1
soporte para moves 5
Parece que esta totalmente resuelto, ahora a jugar con quickcheck!