theorem :: XPRIMES2:5787

canceled;