theorem :: XPRIMES2:2687

canceled;