theorem :: XPRIMES2:2531

canceled;