[dgs_sgd]

It's fairly easy if you understand the meaning of "can be true". There can be countless instances where it's not true but if you find just _one_ instance where it's true, then your "can be true" statement must be true.