ではx、y、zが自由変数のときには公理ですか?