Comments by Ishtaii (1)
proof of this?