theorem :: XPRIMES2:1159

canceled;