theorem :: XPRIMES2:288

canceled;