1. No category

循環論法で証明になっていない