import Mathlib

set_option maxHeartbeats 0

open BigOperators Real Nat Topology Rat

theorem mathd_numbertheory_101 : 17 * 18 % 4 = 2 := by sorry