theorem :: XPRIMES2:7296

canceled;