http://dbpedia.org/resource/Lichnerowicz_comparison_theorem
data from the linked data cloud