graph TD
    DefFact("DefFact Factorial")
    DefProd("DefProd Product principle")
    PermNoRep("PermNoRep Permutations no rep")
    CombNoRep("CombNoRep Combinations")
    CombRep("CombRep Combinations with rep")
    BinomThm("BinomThm Binomial theorem")
    Pascal("Pascal Pascal identity")
    DefFact --> PermNoRep
    DefProd --> PermNoRep
    PermNoRep --> CombNoRep
    DefFact --> CombNoRep
    CombNoRep --> CombRep
    CombNoRep --> BinomThm
    CombNoRep --> Pascal
    classDef axiom fill:#e74c3c,color:#fff,stroke:#c0392b
    classDef definition fill:#3498db,color:#fff,stroke:#2980b9
    classDef theorem fill:#1abc9c,color:#fff,stroke:#16a085
    class DefFact,DefProd definition
    class PermNoRep,CombNoRep,CombRep,BinomThm,Pascal theorem