theorem :: XPRIMES2:7722

canceled;