すなわち、"y" が "x" の "p" 倍で、"z" が "y" の "q"倍と判断され、formula_6が "x" の "q" 倍で、formula_7がformula_6の "p" 倍と判断したとき、"z" とformula_7は等しいはずである。