Theorem
By @Kunoichi