正の整数Mに対して，次の二つの流れ図に示すアルゴリズムを実行したとき，結果xの値が等しくなるようにしたい。aに入れる条件として，適切なものはどれか。

解説　本サイト独自（IPA公表のものではありません）

ウ　左はnをMから－1ずつ1まで変化させてxに掛ける。右ではnを掛けた直後にnを1増やしてから条件aを判定するので，Mを掛け終えた時点のnはM＋1である。この時点でYesとなって終了する条件はn＞Mである。

• ア　Yesが終了へ進むことを逆に読み，n＜Mの間は繰返す条件だと考えた誤りである。実際にはこの条件が成立すると，その場で終了する。
• イ　条件判定より前にn←（n＋1）があることを見落とし，掛けたときのnで終了判定すると考えた誤りである。この条件ではnがMになった時点で終了してしまう。
• エ　n＞M＋1をnがM＋1になった時点で成立すると読んだ誤りである。不等号は等しい場合を含まないので，M＋1もxに掛けてから終了する。