theorem :: XPRIMES2:71

canceled;