takenstheorem