theorem :: XPRIMES0:1721

canceled;