>Note that this proof is in fact the *only*
proof in parts II and III that is longer than
a few lines which essentially say
This follows from the definitions”.

>in particular, no more details are given
in any survey, including Yamashita’s,
or any lectures given on the subject
(as far as they are publicly documented).