Minlos%27 theorem

undefined