It is safe to say . Consider the set . Now if then and where . Since has a positive element (that is easy to show) it has a least positive element . Now by division algorithm, where . Thus, because of closure properties above. But then because is least. So similarly .