theorem :: XPRIMES2:2552

canceled;