theorem :: XPRIMES2:2812

canceled;