UnXFAIL Wester test H3

```python
(-1)**(n*(n + 1)) == 1
```
This pull alter assumptions (both old and new): n*m is even if n+m is odd.