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