theorem :: XPRIMES2:166

canceled;