theorem :: XPRIMES2:2410

canceled;