theorem :: XPRIMES2:2048

canceled;