お題
y=3x+2かつyが0以外の実数のとき、
yは正の数か負の数である。