thus Macro (f :=<0,...,0> a) is good by SCMFSA7B:17, SCMFSA8C:70; :: according to SFMASTR1:def 1 :: thesis: verum