Esto convertiría cualquier área "no probada" de las matemáticas que "podría ser verdad" en algo que "debe ser verdad".