theorem :: XPRIMES2:2484

canceled;