theorem :: XPRIMES2:2520

canceled;