theorem :: XPRIMES2:6117

canceled;