För att bevisa riglighelenaf