One-loop non-renormalization results in EFTs