(motive : Option Lean.Meta.Grind.Arith.Cutsat.DvdCnstr → Sort u_1) →
  (c₃? : Option Lean.Meta.Grind.Arith.Cutsat.DvdCnstr) →
    ((c₃ : Lean.Meta.Grind.Arith.Cutsat.DvdCnstr) → motive (some c₃)) →
      ((x : Option Lean.Meta.Grind.Arith.Cutsat.DvdCnstr) → motive x) → motive c₃?