提示された手続きが「勝つ戦略」としての資格を持つことを
保証するロジック