Find!
g1=m1 is a complete set showing common property (ka) g2, complete by standard m3.
Cf. mulno, girzu