\r\n" );
document.write( "The other tutor is right, so for the statement to be true, we must\r\n" );
document.write( "change the conclusion from
to
\r\n" );
document.write( "\r\n" );
document.write( "But that's not all we have to change.\r\n" );
document.write( "\r\n" );
document.write( "The statement is also not true if p=-1, q=-9\r\n" );
document.write( "\r\n" );
document.write( "For in that case
\r\n" );
document.write( "and
and x>y\r\n" );
document.write( "\r\n" );
document.write( "The statement is also not true if p=0, q=-2\r\n" );
document.write( "\r\n" );
document.write( "For in that case
\r\n" );
document.write( "and
and x>y\r\n" );
document.write( "\r\n" );
document.write( "Also by symmetry it is not true if p=-2, q=0\r\n" );
document.write( "\r\n" );
document.write( "---------------------------------------------\r\n" );
document.write( "\r\n" );
document.write( "So we must change your statement to something that is always true:\r\n" );
document.write( "\r\n" );
document.write( "If
,
,
,
, prove
\r\n" );
document.write( "\r\n" );
document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "So what we are to prove becomes\r\n" );
document.write( "\r\n" );
document.write( "If
and
. Prove
\r\n" );
document.write( "\r\n" );
document.write( "To prove
is the same as proving
\r\n" );
document.write( "\r\n" );
document.write( "Let
and
\r\n" );
document.write( "\r\n" );
document.write( "Then
and
\r\n" );
document.write( "\r\n" );
document.write( "Then what we are to prove becomes:\r\n" );
document.write( "\r\n" );
document.write( "If
and
. Prove
\r\n" );
document.write( "\r\n" );
document.write( "So we consider \r\n" );
document.write( "\r\n" );
document.write( "
\r\n" );
document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "With the inclusion in the premise than p and q are non-negative and\r\n" );
document.write( "in the conclusion that
we have proved the statement. \r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" );
document.write( "