theorem :: XPRIMES2:1156

canceled;