Oración 1: así tenemos que (x mod y) = x− y < x 2
Oración 2: el nuevo valor de x se va a reducir por lo menos a la mitad
Conector: por lo tanto,
Relación: reasoning
Género: theses