proof of consis(PA)