theorem :: XPRIMES2:7210

canceled;