theorem :: XPRIMES2:2548

canceled;