>>502
＞aが『3つの整数x, y, zの最大公約数』ということでしょうね？
そうです。

二つの変数だけが、互いに素であるということはありません。xとyが公約数aを持っていれば必ずzもaを約数とする。
これも自明だ。

＞そこまで歪曲
何も歪曲していない。