Japanese | Nice Math Simplification Question

[@ruallin]

@1:06, y=5, not 4; realized later @5:47 Otherwise, a nice write up