21 P代数の性的単純化 12 分1080p