尻尾同値類は同値類である
同値類の定義を確かめれば良い