theorem :: XPRIMES2:7956

canceled;