関数的な規則から始めて、圏論の規則が満たされることを示せ