sufficient condition

condition that guarantees that another statement holds