Solvability of the divergence equation implies John via Poincar\'e inequality