it can be proven
I always see people saying this can be proven, but I never saw the prove after that
Atcoder ABC #354 Solution Discussion