arrays - postgres、多次元配列のcontains-operatorは比較前に平坦化を実行しますか?

Question

次のクエリ:

SELECT ARRAY[[1,2,3], [4,5,6], [7,8,9]] @> ARRAY[2, 3, 5];

array[2, 3, 5]がソース配列に存在しないため、期待どおりに false ではなく true で応答されます。どのようにそれが起こることができますか？多分、多次元配列にフラット化が適用されますか？