theorem :: XPRIMES2:5166

canceled;