theorem :: XPRIMES2:8512

canceled;