#koushiki #official formula #theorem