Additive Combinatorics Bound (Freiman's Theorem)