theorem :: XPRIMES2:1671

canceled;