Se considera proportia x supra y=z supra t, unde x, y, z, t apartine Q₊(numerelor rationale). Stabiliti valoarea de adevar a urmatoarelor propozitii:
a) x · z= y · t;
b) x · y= z · t;
c)x · t=y · z.