[see also: know, recognize, understand, grasp, aware
The theorem gains in interest if we realize that......
This has deeper significance than one might first realize.
The geodesics (8) are the only ones that realize the distance between their endpoints.