Problem viewing a PDF proof?