I don't know where the parent got their info, but I learned this through the original Portal's in-game "developer commentary" system. If you turn on the dev com

I don't know where the parent got their info, but I learned this through the original Portal's in-game "developer commentary" system. If you turn on the dev commentary in Portal they talk about this fact during that level.