theorem :: XPRIMES2:6921

canceled;