そういうことか
因数分解は作り方に関係している

ただ、直すと(x+y)(x+z)だから3変数で左右が同じ形にならなくていい
命題1:1変数でしか表せない形は左右の形を同じとする
事の反例はﾏﾀﾞﾅｲから真偽は解らないが