theorem :: XPRIMES2:5270

canceled;