theorem :: XPRIMES2:9512

canceled;