take
(
n
,
n
)
>
(

(
In
(1,
REAL
)
)
)
;
:: thesis:
( (
n
,
n
)
>
(

(
In
(1,
REAL
)
)
)
is
Negative
& (
n
,
n
)
>
(

(
In
(1,
REAL
)
)
)
is
Nonpositive
)
thus
( (
n
,
n
)
>
(

(
In
(1,
REAL
)
)
)
is
Negative
& (
n
,
n
)
>
(

(
In
(1,
REAL
)
)
)
is
Nonpositive
) ;
:: thesis:
verum