theorem :: XPRIMES2:2856

canceled;