theorem :: XPRIMES2:8782

canceled;