Это замечательный способ. На мой взгляд, даже в каком-то смысле идеальный. То есть в идеальном языке он должен быть самым простым, естественным и основным способом написания программ. Я при любой возможности им пользуюсь.

Еще на эту тему можно погуглить "theorems for free".