(*
  Authors: Wenda Li
*)

theory induction_12dvd4expnp1p20
  imports Complex_Main
begin

theorem induction_12dvd4expnp1p20:
  fixes n :: nat
  shows "(12::int) dvd 4^(n+1) + 20"
  by sorry

end