theorem :: XPRIMES2:1157

canceled;