A Proof of Theorem 1 Theorem 1. (1) If the bucket size