Voraussetzung:
Gelte für ein festes m ≥ n : 3 teilt 2 2 m - 1
Dann gilt für m + 1: 3 teilt 2 2 ( m + 1 ) - 1
Beweis:
2 2 ( m + 1 ) - 1
= 2 2 m + 2 - 1
= 2 2 m * 2 2 - 1
= ( 2 2 m - 1 + 1 ) * 4 - 1
= ( 2 2 m - 1 ) * 4 + 1 * 4 - 1
= 4 * ( 2 2 m - 1 ) + 3
3 teilt gemäß Voraussetzung ( 2 2 m - 1 ),
dann teilt 3 aber auch 4 * ( 2 2 m - 1 )
und auch
4 * ( 2 2 m - 1 ) + 3 = 2 2 ( m + 1 ) - 1
q.e.d.