theorem :: XPRIMES2:7087

canceled;