take S = {[0,{},{}]}; :: thesis: ( S is J/A-independent & S is homogeneous )
thus ( S is J/A-independent & S is homogeneous ) ; :: thesis: verum