for A being non empty Subset of GRZ-formula-set
for t, u being GRZ-formula holds
( A, GRZ-rules |- t '&' u iff ( A, GRZ-rules |- t & A, GRZ-rules |- u ) )