Minlos theorem

1. REDIRECT Minlos's theorem

{{R from modification}}