proof by colin ballin | Apoet