Viliam comments on just_browsing’s Shortform

[Viliam]

Here is much shorter proof: ²²⁄₇ is rational :D