
theorem
Positives(INT.Ring) is Ordering of INT.Ring;
