theorem :: XPRIMES2:9296

canceled;