theorem :: XPRIMES2:7472

canceled;