theorem :: XPRIMES1:1566

canceled;