theorem :: XPRIMES2:3928

canceled;