theorem Th37:
  17 divides (34*k+6)|^(2|^3) + 1
  proof
    17 divides (17*(2*k)+6)|^(2|^3) + 1 by Th34,Lm31;
    hence thesis;
  end;
