theorem :: XPRIMES2:9732

canceled;