theorem :: XPRIMES2:6477

canceled;