6 7x u2264 3x 7