Grace proves that a linear function is continuous