theorem :: XPRIMES2:5782

canceled;