A . erkända satser , attingen