2009/4/24 WJhonson@aol.com:
We have no source which states this. It is a trival inference from the known statements. We are allows to make trivial inferences, observations, conclusions.
Yes, trivial is fine. From my understanding of this case (I haven't researched it in depth), the inference was not trivial.