metric: prove composition of continuous functions is continuous
realanal: define projection functions, component functions of vector-valued functions. prove that if the vector-valued function is continuous, the components are too.