Frazo 1: Ĝi povas esti uzata por provi natura kaj mallonga pruvo por la fundamenta teoremo de la algebro, kiu diras ke la kampo de kompleksaj nombroj estas algebre fermita. Frazo 2: Ĝi povas esti uzata por provizi fundamentan pruvon por la kompleksa teoremo de algebro kiu deklaras ke la kampo de naturaj kaj mallongaj nombroj estas algebre fermita. Demando: Ĉu frazo 1 kaj frazo 2 esprimas la saman signifon? Jes aŭ Ne?
Ne