類題
P\Q∈P が成り立っている時、Qを用いてPを表せ