theorem :: XPRIMES2:3600

canceled;