Problema soluzione esercizio

[Roberto81]

buongiorno vi volevo far vedere un esercizio perchè non capisco un passaggio
consideriamo i seguenti sottoinsiemi di $ NN $

$ A = {n in NN : EEk in NN: n = 4k} $
$ B = {n in NN : EEk in NN: n = 4k-1} $
$ C = {n in NN : EEk in NN: n = 4k-2} $
$ D = {n in NN : EEk in NN: n = 4k-3} $

nella soluzione che riporta:
verifichiamo ad esempio $ B nn C $ . Se esistesse $ n in B nn C $, esisterebbero due numeri "non so fare la pedice con le formule quindi "k1,k2 tale che n=4k1 -1, n=4k2 -2; cio è assurdo in qunto ne seguirebbe 4k1 -1=4k2 -2 cioè k2 - k1 = 1/4
non sarebbe un numero intero

IL VALORE 1/4 COME LO RICAVA? SCUSATE.

[Gi81]

Hai $4k_1-1= 4k_2 -2$, da cui si ottiene che $4k_1 -4k_2 = -1$, cioè $-4*(k_2-k_1)= -1$.
DIvidendo ambo i membri per $-4$ ottieni $k_2-k_1 = 1/4$