theorem :: XPRIMES2:2536

canceled;