A(λv) = λAv proof あみち twitter 動画保存