theorem :: XPRIMES2:6523

canceled;