The claim is proved.
Tvrdenie je tak dokázané.