Research finished: the premium must be the sum of Call and Put.
BS, then it would hold also for S != K, but which seems not to hold, at least not from a probability point of view. Still researching the case...Wow, you've discovered parity!
Please stop mocking @thecoder, he is really an idiot savant and communicates only through loops of code...

