. simp
case zero
p q r : Prop
⊢ 5 ∣ 11 ^ Nat.zero - 6

case succ
p q r : Prop
k : ℕ
ih : 5 ∣ 11 ^ k - 6
⊢ 5 ∣ 11 ^ Nat.succ k - 6
case succ
p q r : Prop
k : ℕ
ih : 5 ∣ 11 ^ k - 6
⊢ 5 ∣ 11 ^ Nat.succ k - 6