*** proven = has proven ***
The NYT article on Venona is long, but excellent..
Here is a clip..
It is doubtful that Stalin, rarely a risk-taker, would have supplied the military wherewithal and authorized North Korea to invade South Korea in 1950 had the Soviet Union not exploded an atomic bomb in 1949.