Các bằng chứng mà không có chữ là bằng chứng của một tài sản toán học bằng cách sử dụng một chương trình làm cho nó "esvidente", mà không có văn bản giải thích.
một từ mà không có bằng chứng là một bằng chứng của một tài sản toán học bằng cách sử dụng một chương trình làm "esvidente" mà không có văn bản giải thích.