 Ray–Knight type theorems relate the field "L""t" to an associated Gaussian process.In general Ray–Knight type theorems of the first kind consider the field "L""t" at a hitting time of the underlying process, whilst theorems of the second kind are in terms of a stopping time at which the field of local times first exceeds a given value.Let ("B""t")"t" ≥ 0 be a one-dimensional Brownian motion started from "B"0 = "a" > 0, and ("W""t")"t"≥0 be a standard two-dimensional Brownian motion "W"0 = 0 ∈ R2.