theorem :: XPRIMES2:73

canceled;