theorem :: XPRIMES2:2541

canceled;