theorem :: XPRIMES1:2427

canceled;