a=bならばac=bcは言えるが
ac=bcならばa=bは言えない。（c=0の時）

pならばqが成り立つとき
pはqであるための十分条件といい
qはpであるための必要条件という。