\ \
Let be the statement that . \ \
Verify that is true for . \ \
is true for . \ \
is not true for . \ \
\ is false for . \
is false for .