Nijeboer, F.J. (Frank, Student M-CS) / PATAT Proof