theorem :: XPRIMES2:2921

canceled;