theorem :: XPRIMES2:1717

canceled;