theorem :: XPRIMES2:2376

canceled;