>>576
>元の 可算無限列 s = (s1，s2，s3 ，・・・)を 形式的冪級数環F[[x]]の元とみて
無意味

>札付きは 1〜6のサイコロの目だが、これを0〜5 つまり 整数のmod6 とみると剰余環 Z/6Zと考えることが出来る
無意味

>つまり、札付きにおいても 同値類の構造は 各類で同一
>ゆえに、「対称性」が成立■
何の証明にもなってない。なぜならおまえは箱入りと札付きの対応関係を述べているだけであって、箱入りで対称性：P(n(1)<n(2))≦1/2 が成立することが未証明だから。
証明とは何か、そもそもそこから分かってない。このアホさではとてもじゃないが数学は無理。諦めろ。