theorem :: XPRIMES2:2381

canceled;