Talk:Japanese theorem