(*
  Authors: Wenda Li
*)

theory induction_divisibility_3divnto3m2n
 imports
  Complex_Main
begin

theorem induction_divisibility_3divnto3m2n:
  fixes n::nat
  shows "3 dvd n^3 + 2 * n"
  by sorry

end