theorem :: XPRIMES1:2151

canceled;