'x''∈''y''→''y''=''a''
   HOME
*