まぁx=y=zは導出できんやろな
いかにも反例ありそう