oef: typevergelijking a^x = b