theorem :: XPRIMES2:6753

canceled;