>>499
尻尾同値類は同じ尻尾を持つもの全体の集まりだから QED