all Admitted are proven