nallely proof