ループ証明入ります