theorem :: XPRIMES2:1384

canceled;