Notes that elaborate on the details of a Theorem of Shavgulidze that implies the amenability of R. J. Thompson's group F.