Т.е. доказательстов что из ... следует ... неправильно?

При x=y=2 тождество тоже не выполняется.