14.10.08

8677

A:= (P(y=5)*A(z<7))[x]
B:= Z[x]
----------------------
R:= A-B