このときformula_18ならばformula_19かつformula_20となって不合理。