size proving