theorem :: XPRIMES0:47

canceled;