theorem Th52:
for
n1,
n2,
n3,
n4,
n5 being
Element of
NAT for
S being
Gene-Set for
p1,
p2 being
Individual of
S holds
(
crossover (
p1,
p2,
n1,
n1,
n3,
n4,
n5)
= crossover (
p1,
p2,
n3,
n4,
n5) &
crossover (
p1,
p2,
n1,
n2,
n1,
n4,
n5)
= crossover (
p1,
p2,
n2,
n4,
n5) &
crossover (
p1,
p2,
n1,
n2,
n3,
n1,
n5)
= crossover (
p1,
p2,
n2,
n3,
n5) &
crossover (
p1,
p2,
n1,
n2,
n3,
n4,
n1)
= crossover (
p1,
p2,
n2,
n3,
n4) )