6 3x 7 u2264 7x 13