Han bevisade genom a och b.