a na 't 16 v. des 5 b. Eucl.
b na 't 6 v. des 6 b. Eucl.