áll

Áll.: Téglak

Biz.:
eset:

Transclude of téglaunio

Teljes indukció minden -re igaz.