theorem :: XPRIMES2:102

canceled;