CATEGORY 等式の変形