CATEGORY 式と証明