a na 't 5 v des 1 b. Eucl.
b na 't 5 v des 1 b. Eucl.
c na 't 32 v des 1 b. Eucl.