theorem :: XPRIMES2:5756

canceled;