n*m is even if n+m is odd (old assumptions)
n*m is even if n+m is odd (new assumptions)
UnXFAIL Wester test_H3