theorem :: XPRIMES2:5687

canceled;