[kaba0]

There are many ways to formulate this question (unfortunately I haven’t found it) and it answers in a non-deterministic manner each time, so I can give no further proof.