Template:Application of

From Diffgeom

This fact is an application of the following pivotal fact/result/idea: [[{{{1}}}]]