theorem :: XPRIMES2:921

canceled;