reserve a,b,c,h for Integer;
reserve k,m,n for Nat;
reserve i,j,z for Integer;
reserve p for Prime;

theorem Th35:
  i in PrimeDivisors>3(h) implies i > 3
  proof
    assume i in PrimeDivisors>3(h);
    then i >= 3+1 by NUMBER09:56;
    hence thesis by NAT_1:13;
  end;
