wjw2sq, Proof of this or of any of the other thirteen PR's would be simple, however none are forthcoming. - Misterbull