theorem :: XPRIMES2:381

canceled;