theorem :: XPRIMES2:2252

canceled;