Description: A scalar times the zero functional is the zero functional. (Contributed by NM, 20-Mar-2015) (New usage is discouraged.)