theorem :: XPRIMES2:2461

canceled;