>>80
「濃度全体は整列構造を持つ」を前提としてはいませんか?