AF%2BBG theorem

undefined