theorem :: XPRIMES0:733

canceled;