[math-fun] Re: strong law (mutatis mutandis)