for ps, pt, f being bag of SetPrimes
for q being Nat st support ps misses support pt & f = ps + pt & q in support pt holds
pt . q = f . q