File:K-calculus_diagram_for_reciprocal_k-factor.svg loading ...