a na 't 7 v. des 2 b. Eucl.
b na 't 1 v. des 6 b. Eucl.