a na 't 2 v. des 1 b. Eucl.
b na 't 4 v. des 1 b. Eucl.