Proof involving procepts is usually performed through using the built-in processes. For instance, proof in arithmetic is either through a generic computation, “typical” of a class of examples, or using algebraic computation, e.g. the proof that the sum of two successive odd numbers (2n+1 and 2n+3) is a multiple of 4 (4n+4).