Given the following definitions,

K is a superkey for relation R if K functionally determines all of R

K is a key for R if K is a superkey, but no proper subset of K is a superkey

Write a single SQL query that validates the functional dependency {A} and {C} are keys for a relation S(A,B,C). Your query should return an empty set to prove the functional dependency.