for K being non empty left_unital doubleLoopStr
for V, W being non empty ModuleStr over K
for f being Form of V,W holds (1. K) * f = f