theorem :: XPRIMES2:2782

canceled;