theorem :: XPRIMES2:2556

canceled;