On 8 Jul., 19:01, "LudovicoVan" <ju...@diegidio.name> wrote:> "WM" <mueck...@rz.fh-augsburg.de> wrote in message>> news:f030c6fd-79cf-4671-ab32-3e0dd40e1327@m3g2000vbl.googlegroups.com...>> > Ask yourself the question: What should remain inside?>> I think you miss the point: I was asking for a valid proof.