theorem :: XPRIMES2:7756

canceled;