証明

杉原・室田 [1] を見よ。