Yes that lept out at me. Isn't that first year physics? I mean I remember it from years back, my first fond memory of university physics (and from which point I knew I would love it). It was really a 1 short lecture task to derive special relativity (which covers this) from a few basic postulates? (or course was a huge crazy leap to postulate in the first place).