theorem :: XPRIMES2:8996

canceled;