theorem :: XPRIMES2:1288

canceled;