theorem :: XPRIMES2:4687

canceled;