theorem :: XPRIMES2:6522

canceled;