proofs about maths and numbers
: proofs about maths and numbers