theorem :: XPRIMES2:5067

canceled;