one-point compactification Part (3)

This is the last part of one-point compactification. Here we state and prove the characterisation theorem for local compactness.