File:K-calculus_diagram_for_k-factor_definition.svg loading ...