Premise: The 5K run is a long-distance road running competition over a distance of five kilometres (3.1 miles). Also referred to as the 5K road race, 5 km, or simply 5K, it is the shortest of the most common road running distances. It is usually distinguished from the 5000 metres track running event by stating the distance in kilometres, rather than metres.
Hypothesis: A 5K amounts to 3.1 miles.