theorem :: XPRIMES2:2122

canceled;