theorem :: XPRIMES2:2546

canceled;