User talk:TakuyaMurata/Weil divisor