타츠마키가 이를 증명