my little brother has discovered the rule of cosines by himself