theorem :: XPRIMES2:5692

canceled;