Induktionsanfang: a1 ist teilerfremd zu n
Induktionsbehauptung ak ist teilerfremd zu n
Induktiondsschluss: Wegen Induktionsanfang und Induktionsbehauptung gilt: ak·a1 ist teilerfremd zu n.
Also ak+1 ist teilerfremd zu n. Für k+1=m folgt am ist teilerfremd zu n.