äro lika , i annat fall J proc.