この判決を執行するときは、債権者が反対給付の履行又は履行の提供があったことを証明しなければ、執行を開始することができない(民事執行法第31条1項).
民事執行法第31条