Tagged: one-line proof