theorem :: XPRIMES2:289

canceled;