C.a.R. > Applications > Difficult > Japanese Theorem

A difficult theorem. It takes a while to grasp the content.