How do you solve k7=4?