\r\n" );
document.write( "\r\n" );
document.write( "We work backwards using \"if and ONLY if\" between steps:\r\n" );
document.write( "\r\n" );
document.write( "First we only observe (not assume!!) about the answer we are supposed to get,\r\n" );
document.write( "which is this:\r\n" );
document.write( "\r\n" );
document.write( "
,\r\n" );
document.write( "\r\n" );
document.write( "that we could have gotten that if and ONLY if this were true:\r\n" );
document.write( "\r\n" );
document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "And we could have gotten that if and ONLY if this were true:\r\n" );
document.write( "\r\n" );
document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "But we know that would have been true if and ONLY if\r\n" );
document.write( "\r\n" );
document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "were true. But that IS GIVEN true, so \r\n" );
document.write( "\r\n" );
document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "must be true. \r\n" );
document.write( "\r\n" );
document.write( "PROVED!\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" );
document.write( "