>>805
上
a b' = a' b

下
a a' + b b' = 0