theorem :: XPRIMES2:1771

canceled;