theorem :: XPRIMES2:5738

canceled;