[lemma=□] □
[lemma=to] □
[lemma=prove] □
Further , all men , in giving praise or blame , in urging us to accept or reject proposals for action , in accusing others or defending themselves , attempt not only to prove the points mentioned but also to show that the good or the harm , the honour or disgrace , the justice or injustice , is great or small , either absolutely or relatively ; and therefore it is plain that we must also have at our command propositions about greatness or smallness and the greater or the lesser-propositions both universal and particular . In addition to proving the space and time bounds of the parallel schedule generated by the algorithm , we demonstrate that it is efficient in practice . Aristotle thus does not attempt to prove the PNC ; in the subsequent chapters of Γ he argues , instead , that it is impossible to disbelieve the PNC . Once it is determined that wage is a disputed issue , the employee still has the burden to prove the average weekly wage . The Wattses , however , would not give up on their baby insisting on giving her a chance to prove the doctors wrong . While an aggrieved party is required to show with certainty that it had some loss , it does not have to prove the precise amount with certainty , so long as it has a reasonably sound basis for computing the profits that it lost as a result of the other party 's actions ( S & K Sales Co v Nike , Inc ., 816 F.2d 843 [ 2d Cir . Formalizing a mathematical theory is a necessary first step to proving the correctness of programs that refer to that theory in their specification .