elementary_number_theory: add exercise
elementary_number_theory: add exercise

avigad/logic_and_proof,leanprover/logic_and_proof,avigad/logic_and_proof,avigad/logic_and_proof,leanprover/logic_and_proof,leanprover/logic_and_proof