pattern 6: sub

parameterized by F.

abstract:   sub_F(a, b) → a - b in F
canonical:  (v_a - v_b) mod p

cost: 1. constraints: 1.