Description: For a prime number P , if X and Y are members of a commutative ring R of characteristic P , then ( ( X + Y ) ^ P ) = ( ( X ^ P ) + ( Y ^ P ) ) . This theorem is sometimes referred to as "the freshman's dream" . (Contributed by Thierry Arnoux, 18-Sep-2023)
Ref | Expression | ||
---|---|---|---|
Hypotheses | freshmansdream.s | |
|
freshmansdream.a | |
||
freshmansdream.p | |
||
freshmansdream.c | |
||
freshmansdream.r | |
||
freshmansdream.1 | |
||
freshmansdream.x | |
||
freshmansdream.y | |
||
Assertion | freshmansdream | |