" Quocl ( lcmonstrandum crit ",