theorem :: XPRIMES2:6086

canceled;