theorem :: XPRIMES2:2722

canceled;