theorem :: XPRIMES2:5178

canceled;