theorem :: XPRIMES1:2288

canceled;