Comment by amelius

Yes but the hard work (coming up with a human-readable proof) has already been done.