theorem :: XPRIMES2:1482

canceled;