proof-6-1