>>28
うろ覚えだけど x=y=z=2 が反例になってない?