theorem :: XPRIMES2:4566

canceled;