Theorem establishing a deep relationship between p-adic L-functions and ideal class groups of cyclotomic fields