[28C] Se \(m≥ n\), esiste ed è unico \(h\) tale che \(m=n+h\) (l’unicità segue da [27V]↺↻); indicheremo questo \(h\) come \(m-n\).