theorem :: XPRIMES2:2379

canceled;