A existência de Prop AMMs prova que esta afirmação é verdadeira.