Barban-Davenport-Halberstam Mean Square Theorem