take
NulForm (V,V)
; ( NulForm (V,V) is symmetric & NulForm (V,V) is additiveFAF & NulForm (V,V) is homogeneousFAF & NulForm (V,V) is additiveSAF & NulForm (V,V) is homogeneousSAF )
thus
( NulForm (V,V) is symmetric & NulForm (V,V) is additiveFAF & NulForm (V,V) is homogeneousFAF & NulForm (V,V) is additiveSAF & NulForm (V,V) is homogeneousSAF )
; verum