theorem :: XPRIMES2:66

canceled;