theorem :: XPRIMES2:61

canceled;