GとG'が同型でないならば
G×HとG'×Hも同型でない

は正しいですよね?
証明教えて下さい…