theorem :: XPRIMES2:2712

canceled;