Notam cele doua numere necunoscute cu x si y . Din prima parte : suma lor este 4000 , intelegem x+y =4000 ⇒ x=4000-y (1) . Din a doua parte : impartim primul numar la al doilea obtinem catul 2 si restul 25 , aplicand Teorema impartirii cu rest D=I·C+R ⇒ x=y·2+25 ⇒x=2·y+25 (2) . Din (1) si (2) prin tranzitivitatea relatiei de egalitate ⇒ 2·y+25=4000 -y |+y ⇒ 3·y+25=4000 | -25 ⇒ 3·y=3975 |:3 ⇒ y=1325
Din (1) ⇒ x=4000 -1325 ⇒ x=2675 . Rezultatul pentru sintagma este perechea ordonata (x;y) ∈ {(2675;1325)}.
