theorem :: NUMBER05:14

( not 15,20 are_coprime & (15 |^ 2) + (20 |^ 2) = 5 |^ 4 & not 7 divides 15 * 20 )