Thanks. I should have said qed after Propositions, not problems in
Principia. It is interesting that Euclid uses oper edei deixai even after
the propositions which require 'finding" a number satisfying certain
properties in the arithmetic books VII-IX.
David Reed