theorem :: XPRIMES2:7030

canceled;