A proof for a malá kačka

Epistemic status: certain.