>>656
https://note.com/giuseppebotino/n/ndeee92b13446
これの命題16の前半(後半は一意性だから無関係)は、大体良さそうですかね…?