theorem :: XPRIMES2:1087

canceled;