import Mathlib

set_option maxHeartbeats 0

open BigOperators Real Nat Topology Rat

theorem mathd_numbertheory_102 : 2 ^ 8 % 5 = 1 := by sorry