theorem :: XPRIMES1:1554

canceled;