theorem :: XPRIMES2:1103

canceled;