Proofs are herrrrrreeeeee.
9,73K