Removed unnecessary premises in J/G congruence