Presentation of a method by which some simple algebraic peculiarities of the branch of mathematics known as number theory might be incorporated into a machine for generating proofs in number theory.
