theorem :: XPRIMES2:7267

canceled;