Edited proof of basis of hone