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