When this fails, one can ask whether K1 is generated by the image of GL2.
これが失敗するとき、K1 は GL2 の像により生成されたのかどうかが問題となる。