theorem :: XPRIMES2:78

canceled;