Relation Proof techniques induction Infinite descent principle Private key cryptography Number theory Graph Automata Theory