What is a proper time interval?
1) A correctly measured time interval
2) The shorter time interval of the two measured times
3) The time interval measured by observers with respect to whom the events occurred in the same location