theorem :: XPRIMES2:6148

canceled;