chuuou doori (Explicit)

theorems (Explicit)