theorem Th36:
  sqrt I c= p implies I c= p
  proof
    assume
A1: sqrt I c= p;
    I c= sqrt I by Th30;
    hence thesis by A1;
  end;
