theorem :: XPRIMES2:9600

canceled;