theorem :: XPRIMES2:565

canceled;