a na 't 29 v. des 1 b. Eucl.
b na 't 16 v. des 5 b. Eucl.