08:42
Fs&jp
31:21
ノルムの拡張