theorem :: XPRIMES2:7308

canceled;