A (possibly) new method of deriving the angle sum identity for trigonometry