Theorem pow_add_pow_le

Modification history