dx∧dyなんて高校生習わなくね?