Description: Forward distributive law for endomorphism scalar product operation. (Contributed by NM, 10-Oct-2013)