theorem :: XPRIMES2:5796

canceled;