Wrong rules proof

2017-04-27 36