import Mathlib

set_option maxHeartbeats 0

open BigOperators Real Nat Topology Rat

theorem mathd_numbertheory_198 : 5 ^ 2005 % 100 = 25 := by sorry