http://pt.dbpedia.org/resource/Teorema_da_boa_ordenação
data from the linked data cloud