<https://www.physicsforums.com/members/facenian.190334/>
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<https://www.physicsforums.com/threads/is-the-proof-of-statement-3-in-lipschultzs-differential-geometry-justifiable.945112/>