theorem :: XPRIMES2:5126

canceled;