A partial Cauchy surface must be compact if its future Cauchy horizon is compact (independent of fie...