Vandiver's congruence for the relative class number of the pth cyclotomic field