theorem :: XPRIMES2:2756

canceled;