Prime Factorization of Sums and Differences of Two Like Powers
Representation of a non zero integer as a signed product of primes is unique similarly to its representations in various types of positional notations , . The study focuses on counting the prime factors of integers in the form of sums or differences of two equal powers (thus being represented by 1 and a series of zeroes in respective digital bases). Although the introduced theorems are not particularly important, they provide a couple of shortcuts useful for integer factorization, which could serve in further development of Mizar projects . This could be regarded as one of the important benefits of proof formalization .