theorem :: XPRIMES2:1118

canceled;