theorem :: XPRIMES2:7921

canceled;