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