>>313です…
証明する元の式が間違ってたことに気付いた…orz
もうだめぽ・゚(ノд`)゚・゚