theorem :: XPRIMES2:1252

canceled;