Proposição: Todo Homem contido no espaço real é indistinguível de outro.
Teorema: Seja Másculo um subespaço do espaço real, cuja base é o objeto rígido indistinguível. Então, toda função de homem desse conjunto pode ser descrita linearmente em termos da base erétil normalizada.
Prova: Suponha uma segunda função de homem, Homenlinha, contida no subespaço Másculo, cuja base não seja o mesmo indistinguível objeto anteriormente descrito. Então, sempre existirá um subespaço Feminino associado satisfeito.
Mas, o subespaço feminino é, por definição, um conjunto de funções de mulheres linearmente independentes entre si, ou seja, é impossível descrever uma mulher em função de outra, e portanto, pelo princípio da certeza absoluta, nunca haverá um tal conjunto satisfeito completamente. Logo, por absurdo, fica provado que o conjunto de funções de homens do subespaço Másculo possui a única base indistinguível e é, portanto, indistinguível.
