theorem :: XPRIMES2:287

canceled;