2 ms·

Most mathematicians would consider this a formal proof. Do you mean a computer-checkable proof?

• amelius 11y ago
  Of course :) (Natural language is not a formal language.)