5x 12 u2264 3x 4