Ordinary HTML proof

Self contained HTML attachment.