theorem :: XPRIMES2:6845

canceled;