theorem :: XPRIMES2:1225

canceled;