let a, b, c be Nat; :: thesis: (a |^ 0) + (b |^ 0) > c |^ 0
( a |^ 0 = 1 & b |^ 0 = 1 & c |^ 0 = 1 ) by NEWTON:4;
hence (a |^ 0) + (b |^ 0) > c |^ 0 ; :: thesis: verum