theorem :: PARTIT_2:19

op1 = {[{},{}]}