User blog comment:Hyp cos/Analysis - BEAF, FGH and SGH (part 3)/@comment-24509095-20140626092059/@comment-5150073-20140627150839

Okay, so by this axiom, it's not necessary that if $$\alpha = \beta$$, then $$f_\alpha(n) = f_\beta(n)$$. The rule $$(\alpha+\beta)[n] = \alpha+(\beta[n])$$ is proper now.