Return to ある証明