mathematical proof

(see γ-proof)