Because complex priority arguments can be technical and difficult to follow, it has traditionally been considered desirable to prove results without priority arguments, or to see if results proved with priority arguments can also be proved without them.
Pentru că argumentele de prioritate complexe pot fi tehnice și greu de urmărit, s-a considerat de dorit să se demonstreze rezultatele fără argumente de prioritate, sau să se vadă dacă rezultatele demonstrate cu argumente de prioritate pot fi demonstrate și altfel.