K番目の半素数を求めよ、インコ作問と発覚