theorem Th32:
  crossover(p1,p2,0,0,0,0) = p1
proof
  crossover(p1,p2,0,0,0,0) = crossover(p2,p1,0) by Th31;
  hence thesis by Th4;
end;
