6x 6 u2264 4x x 6