theorem :: XPRIMES2:6524

canceled;