theorem :: XPRIMES2:5164

canceled;