theorem :: XPRIMES2:7488

canceled;