Это равенство следует из законов распределительности умножения относительно сложения. Поэтому, выражение a(b-c) можно переписать как ab - a*c, поскольку умножение заключенное в скобках разносится на оба слагаемых.