theorem :: XPRIMES2:1227

canceled;