theorem Th96: for p be prime Nat holds p divides a implies p divides a|^(n+1)
  proof
    let p be prime Nat;
    assume p divides a; then
    p divides a*a|^n by INT_2:2;
    hence thesis by NEWTON:6;
  end;
