Only power, then satisfies itself

カテゴリ数