(*
  Authors: Albert Qiaochu Jiang
*)

theory mathd_numbertheory_81 imports
  Complex_Main
begin

theorem mathd_numbertheory_81:
  "71 mod 3 = (2::nat)"
  by sorry

end