(*
  Authors: Wenda Li
*)

theory induction_11div10tonmn1ton
  imports Complex_Main
begin

theorem induction_11div10tonmn1ton:
  fixes n :: nat
  shows "(11::int) dvd (10^n - (-1)^n)"
  by sorry

end