Añetehápe, upeichaite avei, umi filósofo matemática rehegua oñeha'ã omboheko upe mba'e omohendáva peteĩ prueba ojehecharamove hag̃ua ambue rovake mokõive ipyenda atã jave.