は言えるが、その他の点でformula_14が言えるとは限らない。