theorem :: XPRIMES2:6102

canceled;