Engelbert–Schmidt zero–one law (source code)

= Engelbert–Schmidt zero–one law
{wiki=Engelbert–Schmidt_zero–one_law}