数日前に外から「nが含まれるときだけだ。」と聞こえてきました。今から振り返ってみると
515の証明は、b≡0 (mod n)でh=1の場合の証明は間違っていました。随分適当なことを
言っているなと思います。結局この場合の証明をすることはできないと判断しましたが
それを回避する方法が見つかりました。