theorem Th11: :: MATRTOP3:11

for i, n being Nat st i in Seg n holds
Mx2Tran (AxialSymmetry (i,n)) is {i} -support-yielding