reserve X for set;
reserve a,b,c,k,m,n for Nat;
reserve i for Integer;
reserve r for Real;
reserve p for Prime;

theorem Th56:
  not 645 divides 3|^645-3
  proof
    645 = 3*5*43;
    hence thesis by Th55,NEWTON03:11;
  end;
